Date: Wed, 15 Jan 1997 01:06:17 GMT
Server: Apache/1.1.1
Content-type: text/html
Content-length: 71151
Last-modified: Mon, 13 Jan 1997 22:22:17 GMT

<TITLE>Researchers in Programming Languages and Compilers</TITLE>
<H1>Researchers in Programming Languages and Compilers</H1>

Here are some home pages of researchers working on programming
language theory, design, implementation, and related areas.<p>

<em>Disclaimer:</em> this list is not exhaustive! Please let me
know if you would like <!WA0><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/new-language-people.html">to be added
to this list</a>, or if you would like an existing entry modified or
deleted.<p>

<!WA1><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html"><!WA2><img alt="" src="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/images/back.xbm"> Back to 
the language research page</a><p>

<h2>Related Pages</h2>
<ul>
<li> The SEL-HPC list of 
<!WA3><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/GeneratedHtml/UserHome.functional.html">home pages of functional language researchers</a>.
<li> The SEL-HPC list of 
<!WA4><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/GeneratedHtml/UserHome.comp.html">home pages of compiler researchers</a>.
<li> Oscar Nierstrasz's list of <!WA5><a href="http://iamwww.unibe.ch/~oscar/WWW/whoswho.html">useful home pages</a>. 
<li> <!WA6><a href="http://www.comlab.ox.ac.uk/archive/formal-methods/whos-who.html">
Who's Who on the Web in Formal Methods</a>
<li> <!WA7><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/lfs-people.html">
Researchers in Logical Frameworks</a>
<li> <!WA8><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/wls/www/sbpm/people.html">
Semantics-Based Program Analysis and Manipulation researchers</a>
</ul>

<H2>Home Pages</H2>
<DL>
<DT><!WA9><a href="http://www.research.digital.com/SRC/personal/Martin_Abadi/home.html">Mart&iacute;n Abadi</a> - DEC SRC
<DD> Security in distributed systems, specification and verification 
methods, principles of programming languages. 

<dt> <!WA10><a href="http://www.dcs.ed.ac.uk/home/samson">Samson Abramsky</a> - University of Edinburgh
<dd> Semantics of programming languages, concurrency, game semantics, program
analysis.

<dt> <!WA11><a href="http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/agha.html">Gul Agha</a> - University of Illinois at Urbana-Champaign
<dd> Logic, object-oriented programming, formal semantics, actors.

<dt> <!WA12><a href="http://http.cs.berkeley.edu/~aiken/">
Alex Aiken</a> - Berkeley
<dd> Program analysis, type theory, optimization, constraint theories, 
functional programming, instruction scheduling.

<dt> <!WA13><a href="http://www.isg.sfu.ca/~hak">
Hassan A&iuml;t-Kaci</a> - Simon Fraser University
<dd> Constraint-based programming, object-orientation, logical and
functional programming, and the design of compilation techniques.

<dt> <!WA14><a href="http://www.dsic.upv.es/users/elp/alpuente.html">Maria Alpuente</a> - Technical University of Valencia (Spain)
<dd> Logic Programming: semantics, extensions and applications
integration of functional and logic programming languages abstract
interpretation, program manipulation.

<DT><!WA15><a href="http://www.cs.chalmers.se/~alti">
Thorsten Altenkirch</a> - Chalmers
<DD> Type theory, categorical logic and program verification. 

<DT> <!WA16><a href="http://suif.stanford.edu/~saman/index.html">
Saman Amarasinghe</a> - Stanford
<DD> Compilers for parallel machines, 
<!WA17><a href="http://suif.stanford.edu/index.html">SUIF</a>.

<DT> <!WA18><a href="http://suif.stanford.edu/~anderson/index.html">
Jennifer Anderson</a> - Stanford
<DD> Compilers for scalable parallel machines, 
<!WA19><a href="http://suif.stanford.edu/index.html">SUIF</a>.

<DT> <!WA20><a href="ftp://ftp.diku.dk/diku/semantics/www/people/txix.html">
Peter Holst Andersen</a> - DIKU, University of Copenhagen
<dd> Partial evaluation, C-Mix.

<DT><!WA21><a href="http://www.cs.Princeton.EDU:80/faculty/appel/">
Andrew Appel</a> - Princeton
<DD> Standard ML of New Jersey.  Compilation, optimization, and garbage
collection of mostly functional programming languages. 

<dt> <!WA22><a href="http://www.cs.uoregon.edu/~ariola">Zena Matilde Ariola</a> - 
University of Oregon
<dd> Principles of programming languages, formal
semantics. 

<dt> <!WA23><a href="http://csg-www.lcs.mit.edu:8001/Users/arvind/">Arvind</a> - MIT
<dd> All aspects of parallel computing and declarative programming
languages.  Dynamic dataflow architectures, the implicitly parallel
programming language Id, and the compilation of languages such as Id
on parallel machines.

<dt> <!WA24><a href="http://www.eecs.ukans.edu/~jashley">Mike Ashley</a> - University of Kansas
<dd> Program analysis, program transformations, language design and implementation.

<dt> <!WA25><a href="http://www.cs.nmsu.edu/~mikau/index.html">Mikhail Auguston</a> - New Mexico State University
<dd> Programming languages design and implementation, the design of
the compiler writing language 
<!WA26><a href="http://www.ida.liu.se/labs/pelab/members/vaden/rigal.html">RIGAL</a>,
software engineering, testing and debugging automation, assertion
languages.

<DT><!WA27><a href="http://www.cs.chalmers.se/~augustss">
Lennart Augustsson</a> - Chalmers
<DD> Functional programming and implementation.

<dt> <!WA28><a href="ftp://ftp.netcom.com/pub/hb/hbaker/home.html">Henry Baker</a> - Independent researcher/consultant
<dd> Garbage collection, GC, storage management, programming
languages, Lisp, Ada, APL, ML, functional programming, compilers,
linear types, reversible computation, parallel languages, quantum
computation.

<dt> <!WA29><a href="http://shiva.di.uminho.pt/%7Ecbm/">Carlos Baquero</a> - 
Minho University
<dd> Concurrent object oriented programming, inheritance of concurrency 
control code, C++ extensions, transactions on distributed and mobile computing.

<DT>
<!WA30><A HREF="http://www.cs.purdue.edu/people/gb">Gerald Baumgartner</A> - Purdue
<DD>
Functional and object-oriented languages, type systems, object types, modules.

<DT> <!WA31><a href="http://www.cse.ogi.edu/~bellegar/fb.html">
Fran&ccedil;oise Bellegarde</a> - Oregon Graduate Institute
<DD> Program transformation by rewriting, functional programming,
automatic demonstration, and the use of formal methods for software
development.

<DT> <!WA32><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/esb/pub/html/home.html">
Edoardo Biagioni</A> - Carnegie Mellon
<DD>Functional languages, parallel computing and architectures,
compilers, networking, operating systems, and I/O. 

<dt> <!WA33><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/birkedal/www/birkedal-home.html">
Lars Birkedal</a> - Carnegie Mellon
<dd> Type theory, modules, Standard ML, compilation of ML, the ML Kit, partial
evaluation, SML-Mix.

<dt> <!WA34><a href="http://www.cis.upenn.edu/~sbiswas/home.html">Sandip K. Biswas</a> - University of Pennsylvania
<dd> Compilers, type theory, module systems, separate compilation, 
configuration management, program slicing.

<dt> <!WA35><a href="http://www-swiss.ai.mit.edu/~ziggy/ziggy.html">
Michael R. Blair</a> - MIT
<dd> Dynamically adaptive profile-guided specialization,
partial evaluation, program analyisi, compilation, type theory, subtyping.

<DT> <!WA36><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/guyb/www/home.html">Guy Blelloch</a> - 
Carnegie Mellon
<DD> Parallel languages and compilers.  <!WA37><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/www/nesl.html">NESL</a>.

<dt> <!WA38><a href="http://www.cs.princeton.edu/~blume/">Matthias Blume</a> - 
Princeton
<dd> Implementation of mostly functional languages, in particular SML
and Scheme;  efficient data representation, separate compilation,
compilation management, cross-module optimizations;  language design 

<DT> <!WA39><a href="http://www.cs.washington.edu/homes/borning">Alan Borning</a>
- University of Washington 
<DD> 
<!WA40><a href="http://www.cs.washington.edu/research/projects/weird/www/constraints.html">Constraint-based languages and systems</a>.

<dt> <!WA41><a href="http://www.cs.ucl.ac.uk/staff/L.Braine/">
Lee Braine</a> - University College London
<dd> Functional programming, object-oriented programming, visual
programming, and language implementations.

<DT> <!WA42><a href="ftp://cs.rice.edu/public/preston">Preston Briggs</a> - Rice

<dt> <!WA43><a href="http://web.yl.is.s.u-tokyo.ac.jp/members/briot/home.html">
Jean-Pierre Briot</a> -  University of Tokyo
<dd> Object-oriented programming, concurrency/parallelism, meta-programming
and reflection, artificial intelligence, artificial life, computer
music.

<DT> <!WA44><a href="http://www.cs.williams.edu/~kim/">Kim B. Bruce</a> - 
Williams College
<DD> Semantics and design of programming languages, type theory,
object-oriented languages, models of higher-order lambda calculus
including subtypes and bounded polymorphism.

<dt> <!WA45><a href="http://www.cis.uab.edu/info/faculty/bryant/bryant.html">Barrett R. Bryant</a> - The University of Alabama at Birmingham
<dd> Compiler design, formal semantics, object-oriented technology.

<dt> <!WA46><a href="http://www.cs.orst.edu:80/~budd/">Tim Budd</a> - 
Oregon State
<dd> Programming languages, 
<!WA47><a href="http://www.cs.orst.edu/~budd/leda.html">Leda</a>, 
implementation techniques, 
<!WA48><a href="http://www.cs.orst.edu/~budd/oop.html">OOP</a>. 

<dt> <!WA49><a href="http://plg.uwaterloo.ca:80/~pabuhr/">
Peter Buhr</a> - University of Waterloo
<dd> Polymorphism, persistence, concurrency, and concurrent monitoring,
visualization and debugging. 

<dt> <!WA50><a href="http://www.cs.orst.edu/~burnett">Margaret M. Burnett</a> - 
Oregon State University.
<dd> Visual programming languages design, theory, and implementation.
(<!WA51><a href="ftp://ftp.cs.orst.edu/pub/burnett">ftp-able papers</a>).

<dt> <!WA52><a href="http://www.dcs.ed.ac.uk/infopages/rb.html">Rod Burstall</a> - Edinburgh
<dd> Computer-aided proof and its relation to type theory; development
of correct programs with respect to a specification; applications of
category theory in computer science.

<dt> <!WA53><a href="http://www-rocq.inria.fr/~canalda/">
Philippe Canalda</a> - INRIA Rocquencourt
<dd> PAGODE: a generator of optimizing code generators, compilation
techniques, CoSy : an optimizing compiler platform, software
engineering, automatic term rewriting system generation, term and DAG
normalization problem, non-deterministic finite state automata with
non-linear and unification pattern constraints, dynamic programming,
reentrant programming, pattern matching.  

<DT> <!WA54><a href="http://www.research.digital.com/SRC/personal/Luca_Cardelli/home.html">Luca Cardelli</a> - DEC SRC
<DD> Theory of programming languages: polymorphism, subtyping,
objects, recursion, modularization, typechecking, distribution.
Modula-3, Obliq, ML2000.

<dt> <!WA55><a href="http://www.cs.mtu.edu/faculty/Carr.html">Steve Carr</a> -
Michigan Technological University
<dd> Compilers for instruction-level parallel architectures.

<dt> <!WA56><a href="http://www.cs.yale.edu/HTML/YALE/CS/Brochure/faculty/carriero.html">Nicholas Carriero</a> - Yale
<dd> Systems issues in the development and deployment of
software tools for parallelism

<dt> <!WA57><a href="http://www.ens.fr/users/castagna/index.html">
Giuseppe Castagna</a> - 
LIENS (Laboratoire d'Informatique de l'Ecole Normale  
Sup&eacute;rieure)
<dd> Type theory, object-oriented programming.

<dt> <!WA58><a href="http://www.cs.tu-berlin.de/~chak/">Manuel M.T. Chakravarty</a> - 
Technical University of Berlin
<dd> Design and implementation of functional and logic programming
languages with emphasis on the integration of both paradigms and
parallel implementations.

<DT> <!WA59><a href="http://www.cs.washington.edu/people/faculty/chambers.html">
Craig Chambers</a> - University of Washington
<DD> Design and implementation of advanced object-oriented languages. 
<!WA60><a href="http://www.cs.washington.edu/research/projects/cecil/cecil/www/cecil-home.html">Cecil</a>.

<dt> <!WA61><a href="http://www.iit.edu/~tc">Thomas Christopher</a> - 
Illinois Institute of Technology
<dd> Parallel programming languages, compilers, experimental programming 
models, message-driven computing, and Icon.

<dt> <!WA62><a href="http://www.eecis.udel.edu/~carroll/homepage.html">Mark Chu-Carroll</a> - University of Delaware
<dd> Programming languages and environments, general purpose
parallel programming, compiler analysis and high-level optimization.

<dt> <!WA63><a href="http://soglio.colorado.edu/">Wayne Citrin</a> - University of Colorado
<dd> Visual programming languages and environments.

<dt> <!WA64><a href="http://www.cs.ucl.ac.uk/staff/C.Clack/">Chris Clack</a> - 
University College London
<dd> Language design, programming environments and techniques
(especially functional programming), high performance computing

<dt> <!WA65><a href="http://www.ccs.neu.edu/home/will/">William D Clinger</a> - 
Northeastern
<dd> Higher order and functional languages: design and
specification, optimizations and their correctness,
generational garbage collection.

<dt> <!WA66><a href="http://foxnet.cs.cmu.edu/people/acid">Chris Colby</a> - Carnegie Mellon
<dd> Program analysis via abstract interpretation of the aliasing,
synchronization, and communication behavior of concurrent languages
such as Concurrent ML.

<dt> <!WA67><a href="http://www.prism.uvsq.fr/public/jfcollar/index.html">Jean-Francois Collard</a> - CNRS, Laboratory PRISM
<dd> Static analyses, dataflow analyses, automatic parallelization,
scheduling, data-parallel functional programming

<dt> <!WA68><a href="http://www.irisa.fr/EXTERNE/projet/lande/consel/consel">
Charles Consel</a> -  University of Rennes/IRISA
<dd> Static program analysis, compilation and compiler generation,
programming environment, prototyping and program transformation. 

<dt> <!WA69><a href="http://www.cs.cornell.edu/Info/Faculty/Robert_Constable.html">
Robert Constable</a> - Cornell
<dd> Systems for computer-assisted problem solving in programming and
mathematics, such as <!WA70><a
href="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html">Nuprl</a>.  
Models and program refinement for the Polya
programming language.

<dt> <!WA71><a href="http://plg.uwaterloo.ca/~gvcormac">Gordon V. Cormack</a> - 
University of Waterloo
<dd> Parsing and text processing, attribute grammars, data types, concurrency.

<dt> <!WA72><a href="http://www.ens.fr/~cousot">Patrick Cousot</a> - ENS, Paris
<dd> Static program analysis, abstract interpretation,
program development and verification, semantics.

<dt> <!WA73><a href="http://www.cs.kuleuven.ac.be/~dirk/">
Dirk Craeynest</a> - 
K. U. Leuven
<dd>Semantics directed compiler construction, integrated environments,
programming language Ada, software engineering.

<DT> <!WA74><a href="http://www.research.microsoft.com/research/analysts/rfc/">Roger Crew</a> 
- Microsoft Research
<DD>Semantics, program analysis, verification and
transformations.

<dt> <!WA75><a href="http://www.cs.wustl.edu/~cytron">
Ron Cytron</a> - Washington University in St. Louis
<dd> Program optimization, program transformation, intermediate
representations.

<dt> <!WA76><a href="http://www.sics.se/people/mads-dam.html">
Mads Dam</a> - Swedish Institute of Computer Science
<dd> First and higher order modal and temporal logics, compositional
verification techniques, process specification languages, and
applications to computer based systems for cooperative work.

<dt> <!WA77><a href="http://cuiwww.unige.ch/OSG/Dami/HomePage.html">
Laurent Dami</a> - Universit&eacute; de Gen&egrave;ve
<dd> <!WA78><A HREF="http://cuiwww.unige.ch/OSG/Hop/">The HOP Calculus</A>;
integration of functional and object-oriented languages.

<dt> <!WA79><a href="http://www.daimi.aau.dk/~danvy">
Olivier Danvy</a> - Aarhus University
<dd> Programming languages, partial evaluation, continuations.

<dt> <!WA80><a href="http://foxnet.cs.cmu.edu/people/rowan/home.html">Rowan Davies</a> - Carnegie Mellon
<dd> Type systems, ML, refinement types, partial evaluation,
computation staging, program analysis.

<dt> <!WA81><a href="http://www.cs.washington.edu/homes/jdean/">Jeffrey Dean</a> - 
University of Washington
<dd> Practical whole program analysis, partial evaluation, interprocedural
optimization for object-oriented languages.  The <!WA82><a href="http://www.cs.washington.edu/research/projects/cecil/cecil/www/cecil-home.html">Cecil
project</a>.

<dt> <!WA83><a href="http://www.ift.ulaval.ca//recherche/profs/debbabi/research_en.html">Mourad Debbabi</a> - Laval University, Quebec
<dd> Programming languages, integration of paradigms, semantics and
formal methods.

<DT> <!WA84><A HREF="http://www.ai.mit.edu/people/andre/andre.html">Andr&eacute DeHon</A>
 - MIT
<DD> <!WA85><A HREF="http://www.ai.mit.edu/projects/transit/tn103/tn103.html">
Quasistatic computing</a>, specialization, feedback, and adaptation

<dt> <!WA86><a href="http://www.cwi.nl/~arie/">Arie van Deursen</a> - 
CWI, Amsterdam
<dd> Language prototyping, algebraic specifications, language-specific
tools, program understanding, software reengineering.

<dt> <!WA87><a href="http://www.cs.uni-sb.de/~diehl">Stephan Diehl</a> - 
Universitaet des Saarlandes (University Saarbruecken)
<dd> Semantics of programming languages, semantics directed generation
of compilers and abstract machines, meta-programming, WWW programming
languages.

<dt> <!WA88><a href="http://www.cwi.nl/~dinesh/">T. B. Dinesh</a> - 
<!WA89><a href="http://www.cwi.nl/">CWI</a> 
<dd> Object oriented programming; algebraic specifications;
theorem proving; visual languages; partial evaluation; ASF+SDF;
static program analysis

<dt> <!WA90><a href="http://www.cs.umass.edu/~diwan/home.html">Amer Diwan</a> - University of Massachusetts
<dd> Garbage collection, inlining, memory system performance, optimization for
memory hierarchies, partial evaluation, program analysis, compilers for
object-oriented languages.

<DT> <!WA91><a href="http://www.cis.rl.ac.uk/people/sd/contact.html">Simon 
Dobson</a> - Rutherford Appleton Laboratory
<DD> Programming abstractions for parallel and distributed
systems, compilation, program transformation, semantics.

<DT> <!WA92><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/spot/web/home.html">
Scott Draves</A> - Carnegie Mellon
<DD> Partial evaluation, abstraction vs. performance.

<dt> <!WA93><a href="http://www.research.microsoft.com/research/analysts/bduba/">Bruce F. Duba</a> - 
<!WA94><a href = "http://www.research.microsoft.com/">Microsoft Research</A>
<dd> Design and implementation of programming languages.

<dt> <!WA95><a href="http://nuada.uwaterloo.ca/dduggan.html">Dominic Duggan</a> -
University of Waterloo
<dd> Type systems and type inference (ML3000), object types, dynamic
types, operational semantics, higher-order unification, explicit
substitutions, partial continuations, application frameworks.

<dt> <!WA96><a href="http://www.cs.kuleuven.ac.be/~dirkd/">Dirk Dussart</a> - 
Katholieke Universiteit Leuven, Belgium
<dd> Program specialization techniques.

<dt> <!WA97><a href="http://www.cs.washington.edu/homes/eggers/">
Susan Eggers</a> - University of Washington
<dd> Dynamic compilation, code scheduling, parallel optimizations for locality.

<DT> <!WA98><a href="http://www.cs.rice.edu/~mernst/">
Michael Ernst</a> - Rice University
<DD> Static analysis, slicing, debugging (including optimized code),
serialization of parallel programs; game theory, intellectual
property.

<dt> <!WA99><a href="http://www-swiss.ai.mit.edu/ftpdir/users/dae/home.html">David Espinosa</a> - MIT and Columbia
<dd> Monads, compiler and operating system architecture.

<DT> <!WA100><a href="ftp://cse.ogi.edu/pub/crml/fegaras.html">
Leonidas Fegaras</a> - Oregon Graduate Institute
<DD>Functional programming, database programming languages, query optimization,
program transformation and verification. 

<DT> <!WA101><a href="http://www.cs.rice.edu:80/~matthias/">
Matthias Felleisen</a> - Rice
<DD> Principles of programming languages

<dt> <!WA102><a href="http://www.research.att.com/orgs/ssr/people/maryf/">Mary Fernandez</a> - AT&amp;T Research
<dd> Improving software development through the design of very
high-level and special-purpose programming languages and the
development of tools for their efficient implementation, such as the
<!WA103><a href="http://www.cs.princeton.edu/grad/mff/toolkit">New Jersey
Machine-Code toolkit</a>.

<dt> <!WA104><a href="http://www-cse.ucsd.edu/users/ferrante">
Jeanne Ferrante</a> - University of California, San Diego
<dd> Intermediate representations for optimizing and parallelizing compilers;
optimization in parallel and memory hierarchy machines.

<DT> <!WA105><A HREF="http://www.dcs.ed.ac.uk/~aof/">
Andrzej Filinski</A> - Edinburgh
<DD> Continuations, CPS, category theory.

<dt> <!WA106><a href="http://www.dcs.gla.ac.uk:80/~sof/">Sigbjorn Finne</a> - Glasgow
<dd> Lazy functional languages, specifically Haskell, and their
use in the implementation of graphical user interfaces.

<dt> <!WA107><a href="http://www.cs.rice.edu:80/~cormac/">
Cormac Flanagan</a> - Rice
<dd> Analysis and implementation of high-level parallel programming
languages.

<dt> <!WA108><a href="http://www.mcs.anl.gov/people/foster/">Ian Foster</a> - 
Argonne National Laboratory
<dd> Parallel languages, compilers, runtime systems, applications.

<DT> <!WA109><a href="ftp://netlib.att.com/netlib/att/cs/home/cwfraser.html">
Christopher W. Fraser</a> - Bell Laboratories
<DD> Retargetable code generation and optimization, including 
<!WA110><a href="http://www.cs.princeton.edu/software/lcc"><tt>lcc</tt></a>,
a retargetable compiler for ANSI C.

<DT> <!WA111><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/tsf/html/home.html">
Timothy Freeman</A> - Carnegie Mellon
<DD> Refinement types, ML

<dt> <!WA112><a href="http://www.cs.indiana.edu/hyplan/dfried.html">Dan Friedman</a> - 
Indiana University
<dd> Principles of programming languages

<dt> <!WA113><a href="http://www.hpl.hp.com/personal/Svend_Frolund">
Svend Fr&#248;lund</a> - HP Labs 
<dd> Object-oriented languages; language support for coordination,
distribution, concurrency, persistence, and fault-tolerance.

<dt> <!WA114><a href="http://www.cs.yale.edu/HTML/YALE/CS/Brochure/faculty/gelernter.html">
David Gelernter</a> - Yale
<dd> <!WA115><a href="http://www.cs.yale.edu/HTML/YALE/CS/Linda/linda.html">
Linda</a>, parallel programming, software ensembles, artificial
intelligence, adaptive parallelism, programming environments for parallelism,
realtime data fusion, and expert databases.

<DT> <!WA116><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/shai/WWW/home.html">
Shai Geva</A> - Carnegie Mellon
<DD> Semantics, intensional aspects of computation, domain theory,
concurrency, functional programming, reasoning about programs.

<dt> <!WA117><a href="http://www.di.unipi.it/~ghelli/ghelli.html">Giorgio Ghelli</a> - Pisa University
<dd> Database programming languages, type theory, object oriented
languages; the object-oriented database programming language
Fibonacci.

<DT> <!WA118><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/anwar/mosaic/anwar-home.html">Anwar M. Ghuloum</a> - Carnegie Mellon
<DD> Compilers: optimizing and parallelizing sequential languages, parallel
algorithms, languages, and architectures.

<dt> <!WA119><a href="http://www.dcs.gla.ac.uk/~andy/">Andy Gill</a> - Glasgow
<dd> Using equational reasoning to perform non-trivial proofs;
deforestation; purely functional finite maps; parsing combinators.

<dt> <!WA120><a href="http://www.nullstone.com">Christopher Glaeser</a> - 
Nullstone Corporation
<dd> Methodologies to evaluate compiler optimization and run-time 
performance.

<dt> <!WA121><a href="http://www.comlab.ox.ac.uk/oucl/people/joseph.goguen.html">
Joseph A. Goguen</a> - Oxford
<dd> Software engineering; formal methods; object oriented, relational and
functional programming and their combinations; concurrent computer
architecture based on rewriting; algebraic specification; theorem
proving; hardware verification; philosophy of computation.

<dt> <!WA122><a href="http://cs.nyu.edu/cs/faculty/goldberg/index.html">
Benjamin Goldberg</a> - New York University
<dd> Functional programming, memory management, program optimization

<DT><!WA123><a href="http://www.cl.cam.ac.uk/users/adg/">Andrew Gordon</a> - 
Cambridge
<DD> Operational semantics; I/O and concurrency; mechanised verification.

<dt> <!WA124><a href="http://www.dstc.qut.edu.au/~gough">John K. Gough</a> - 
Queensland University of Technology
<dd> Code generation, optimization.  Implementation of programming
languages, strongly typed imperative languages.

<dt> <!WA125><a href="http://www.cs.yorku.ca/People/graham/">T.C. Nicholas Graham</a> - York University
<dd> Functional programming languages, languages for developing user
interfaces and multi-media groupware, visual programming environments.

<DT> <!WA126><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/jdg/www/home.html">
John Greiner</A> - Carnegie Mellon
<DD> Language models of complexity, type theory, parallel algorithms.

<dt> <!WA127><a href="http://www.cs.washington.edu/homes/grove/index.html">
Dave Grove</a> - University of Washington
<dd> Design, implementation and optimization of advanced
object-oriented languages, such as <!WA128><a
href="http://www.cs.washington.edu/research/projects/cecil/cecil/www/cecil-home.html">Cecil</a>.

<dt> <!WA129><a href="http://www.cis.upenn.edu/~gunter/home.html">Carl Gunter</a> - University of Pennsylvania
<dd> Domain theory, semantics of polymorphism, computational aspects of linear
logic, structure and representation of partial information.

<dt> <!WA130><a href="http://www.cs.pitt.edu:80/~gupta/">Rajiv Gupta</a> - University of Pittsburgh
<dd> Parallelizing and optimizing compilers; parallel architectures;
distributed, real-time, and fault tolerant computing; software testing
and debugging

<dt> <!WA131><a href="http://www.cs.colostate.edu/~gupta">
Sandeep K. S. Gupta</a> - 
Colorado State University
<dd> Parallelizing compilers, parallel program synthesis and parallel computing.

<DT> <!WA132><a href="http://suif.stanford.edu/~mhall/index.html">
Mary Hall</a> - Stanford
<DD> Interprocedural optimization for parallelizing compilers,
<!WA133><a href="http://suif.stanford.edu/index.html"> SUIF</a>.

<DT> <!WA134><a href="http://www.cs.chalmers.se/~hallgren">
Thomas Hallgren</a> - Chalmers
<DD> Type systems with subtypes, graphical user interfaces for
functional languages.

<dt> <!WA135><a href="http://www.dcs.gla.ac.uk:80/~kh/">Kevin Hammond</a> - Glasgow
<dd> Design and implementation of pure functional languages, such as Haskell.

<DT> <!WA136><a href="http://www.cse.psu.edu/~hannan">John Hannan</a> -
Penn State 
<DD> Operational semantics and type theory; compiler verification;
mathematical logic; program transformation; abstract machines.

<DT> <!WA137><a href="http://www.cs.princeton.edu/faculty/drh">
David R. Hanson</a> - Princeton
<DD> <!WA138><a href="http://www.cs.princeton.edu/software/lcc"><tt>lcc</tt></a>,
a retargetable compiler for ANSI C.
Programming languages, compilers, programming environments.

<dt> <!WA139><a href="http://www-i2.informatik.rwth-aachen.de/hanus/">
Michael Hanus</a> - RWTH Aachen 
<dd> Type systems for and implementation of logic programming
languages, integration of functional and logic programming languages
(ALF system), abstract interpretation of logic, functional logic and
constraint logic programming languages.

<dt> <!WA140><a href="http://www.cs.rmit.edu.au/~jah">James Harland</a> - Royal Melbourne Institute of Technology
<dd> Foundations of logic programming, linear logic, proof theory,
deductive databases, computational logic. 

<DT> <!WA141><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/rwh/public/www/home.html">
Robert Harper</A> - Carnegie Mellon
<DD> Logical frameworks, machine-assisted proofs, ML, ML2000, modules,
lambda calculus, type theory, category theory, semantics and logics of
programs, functional programming, applications of functional languages
to systems programming.

<DT> <!WA142><a href="http://www.diku.dk/research-groups/topps/personal/hatcliff.html">John Hatcliff</a> - DIKU, University of Copenhagen
<DD> Operational semantics, correctness of program transformations,
continuations, logics and type theory, logical frameworks, partial
evaluation, computational monads, static analysis of programs.

<DT> <!WA143><a href="http://www.cs.indiana.edu/hyplan/chaynes.html">Chris Haynes</a> - 
Indiana
<DD> Type systems, control abstraction, symbolic computation, Scheme.

<DT> <!WA144><a href="ftp://ftp.diku.dk/pub/diku/users/henglein">Fritz Henglein</a> - 
DIKU, University of Copenhagen
<DD>Type inference systems, program analysis, algorithmic and 
 computational complexity, global program optimization

<dt> <!WA145><a href="http://www.comlab.ox.ac.uk/oucl/people/jonathan.hill.html">
Jonathan M. D. Hill</a> - Oxford
<dd> Bulk Synchronous Parallel model; 
<!WA146><A HREF="http://www.comlab.ox.ac.uk/oucl/users/jonathan.hill/dp-fp.html">
Data-parallel non-strict functional programming;</A>
<!WA147><A HREF="http://www.lpac.ac.uk/SEL-HPC/Materials/HPFlibrary/">Implementation
of the HPF library in Fortran 90</A>

<dt> <!WA148><a href="http://www.mcs.newpaltz.edu/faculty/hind.html">
Michael Hind</a> - SUNY at New Paltz, visiting IBM Research
<dd> Compiler optimizations and programming languages.

<dt> <!WA149><a href="http://www.comlab.ox.ac.uk/oucl/people/tony.hoare.html">
C.A.R. Hoare</a> - Oxford
<dd> Programming methods and languages, proof techniques for programs,
distributed computing, category theory in computing science, C-mos
switching circuit design.

<dt> <!WA150><a href="http://www.turing.toronto.edu/homes/holt/main.html">
Richard C. Holt</a> - University of Toronto
<dd> Object oriented programming languages and teaching programming.

<dt> <!WA151><a href="http://www.cs.ucsb.edu/~urs">
Urs H&ouml;lzle</a> - University of California,
Santa Barbara
<dd> Object-oriented programming languages, compilers for object-oriented
languages, run-time compilation.

<DT> <!WA152><a href="http://www.cse.ogi.edu/~hook/hook.html">
James Hook</a> - Oregon Graduate Institute
<DD> Application of formal methods to software development, the theory
and practice of specification and programming languages, and type
theory.

<dt> <!WA153><a href="http://www.netcom.com/~jhorning">Jim Horning</a> -
InterTrust Technologies
<dd> Language design and implementation;
specification languages and tools (e.g., <!WA154><a href="http://larch-www.lcs.mit.edu:8001/larch/">Larch</a>); C++ and the Standard Template Library.

<dt> <!WA155><a href="http://www.cs.wisc.edu/~horwitz/horwitz.html">Susan Horwitz</a> - University of Wisconsin at Madison
<dd> Language-based programming environments; program slicing,
differencing, and merging; static analysis of programs; and
interprocedural dataflow analysis.

<dt> <!WA156><a href="http://www.cs.purdue.edu/people/hosking">Antony L. Hosking</a> - 
Purdue University
<dd> Programming language design and implementation: compilation,
interpretation, and optimization; run-time systems (e.g., garbage
collection).  Object-oriented database systems; database and
persistent programming languages and systems.  Empirical performance
evaluation of prototype systems.

<DT> <!WA157><a href="http://www.cis.ksu.edu/~bhoward/home.html">
Brian Howard</a> - Kansas State
<DD> Programming language design and theory, particularly functional
languages, semantics, and type theory.  Logic and computation.
Natural language processing.

<dt> <!WA158><a href="http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul.html">
Paul Hudak</a> - Yale
<dd> Functional programming, Haskell, parallel programming in Haskell,
modular interpreters, mutable abstract datatypes.

<dt> <!WA159><a href="http://www.cs.nott.ac.uk/Department/Staff/gmh/">
Graham Hutton</a> - University of Nottingham
<dd> Functional programming; relational programming; polytypic
programming; programming calculi; recursion operators; categorical
methods.

<dt> <!WA160><a href="http://www.cs.ruu.nl/people/graham">Graham Hutton</a> - Utrecht University, The Netherlands
<dd> Functional and relational programming, category theory in
computer science, algebraic approaches to programming.

<dt> <!WA161><a href="http://www4.ncsu.edu/~purush/www">
S. Purushothaman Iyer</a> - 
North Carolina State University
<dd> Abstract Interpretation, Concurrency, Formal methods.

<dt> <!WA162><a href="http://www.cs.cmu.edu/afs/cs/user/dnj/pub/www/home.html">
Daniel Jackson</a> - Carnegie Mellon
<dd> Tractable representations and analyses of designs and
code. Specifications, design methods, static analysis, model checking.

<dt> <!WA163><a href="http://mypage.direct.ca/q/qjackson/">
Quinn Tyler Jackson</a> - Lambda Systems Ltd.
<dd> Pattern matching, language-to-language translation, 
OO-to-non-OO modeling

<dt> <!WA164><a href="http://www.neci.nj.nec.com/homepages/jagannathan.html">
Suresh Jagannathan</a> - NEC Research Institute 
<dd> Advanced language and compiler technology for the Scheme
programming language; the incorporation of formal methods such as
continuation models, type inference, abstract interpretation, etc. as
a foundation for such a technology; parallel and distributed computing
for symbolic and irregular applications.

<dt> <!WA165><a href="http://www.sics.se/~sverker">
Sverker Janson</a> - SICS (Swedish Institute of Computer Science)
<dd> Foundations, design, and implementation technology for
multiparadigm languages that offer a combination of concurrency
(distribution), constraints, and mutable state.

<dt> <!WA166><a href="http://www.cs.chalmers.se/~johanj">Johan Jeuring</a> - 
Chalmers
<dd> Program calculation, programming methodology, type systems
and programming languages for polytypic programming, functional
programming.

<dt> <!WA167><a href="http://www.cis.upenn.edu/~tjim/home.html">Trevor Jim</a> - University of Pennsylvania
<dd> Semantics, compilers, type inference.

<dt> <!WA168><a href="http://www.cs.man.ac.uk/fmethods/people/cliff-jones.html">
Cliff B. Jones</a> - Manchester University
<dd> Compositional formal methods for parallel environments,
support systems for formal methods,
<!WA169><a href="http://www.cs.man.ac.uk/fmethods/refs/lpf-refs.html">LPF</a>.

<dt> <!WA170><a href="http://www.cs.nott.ac.uk/Department/Staff/mpj/index.html">
Mark P. Jones</a> - University of Nottingham
<dd> Programming language design and implementation, type theory, module
systems, program transformation and analysis, functional programming.

<dt> <!WA171><a href="http://www.dcs.gla.ac.uk:80/~simonpj/">Simon Peyton Jones</a> - Glasgow
<dd> Design, implementation, and application of lazy functional
languages. In practical terms, that means I spend most of my time on
our implementation of Haskell, the Glasgow Haskell Compiler, and its
ramifications.

<dt> <!WA172><a href="ftp://ftp.diku.dk/diku/semantics/www/people/knud.html">
Jesper J&oslash;rgensen</a> - DIKU, University of Copenhagen
<dd> Semantic based program manipulation and program analyses. Program
specialization (e.g. partial evaluation, deforestation and
supercompilation), flow and binding-time analysis and representation
analysis.

<dt> <!WA173><a href="http://www-rocq.inria.fr/~jourdan">Martin Jourdan</a> - 
INRIA, Rocquencourt, France
<dd> Attribute grammars (esp. the 
<!WA174><A HREF="http://www-rocq.inria.fr/charme/FNC-2/">FNC-2 system</A>), program
analysis, compiler construction and generation.

<DT>
<!WA175><A HREF="http://www.research.digital.com/SRC/people/Bill_Kalsow/bio.html">
Bill Kalsow</A> - DEC SRC
<DD>
<!WA176><A HREF="http://www.research.digital.com/SRC/modula-3/html/home.html">
Modula-3</A>, programming languages and environments, compilers
and runtime systems

<dt> <!WA177><a href="http://www.cwi.nl/~jasper/">Jasper Kamperman</a> - 
CWI
<dd> Compilation of term rewriting systems, algebraic, equational and
functional languages, lazy rewriting, algebraic specifications.

<dt> <!WA178><a href="http://www.uni-paderborn.de/cs/uwe.html">Uwe Kastens</a> - 
University of Paderborn, Germany
<dd> Methods and tools for language implementation,
compilation for parallel machines.

<DT> <!WA179><a href="http://Theory.Stanford.EDU/~katiyar/">
Dinesh Katiyar</a> - Sun Microsystems
<DD> Programming languages, object-oriented languages, multi-language systems,
interface definition languages, type theory 

<dt> <!WA180><a href="http://www.neci.nj.nec.com/homepages/kelsey.html">
Richard Kelsey</a> - NEC Research Institute 
<dd> Compiling scheme, <!WA181><a href="http://www-swiss.ai.mit.edu/~jar/s48.html">Scheme 48</a>,
continuation-passing style.

<dt> <!WA182><a href="http://www.cl.cam.ac.uk/users/ajk13">Andrew Kennedy</a> - 
University of Cambridge
<dd> Type systems, type inference, dimension types and the extension of 
programming languages to support physical dimension, functional programming.

<dt> <!WA183><a href="http://www.cs.washington.edu/homes/pardo/">
David Keppel</a> - University of Washington
<dd> Abstractions, architectures, binding times, caches,
compilers, dynamic compilation, emulation, operating systems,
performance analysis, runtime code generation, runtime systems,
self-modifying code, instruction-set simulation, threads, tracing,
value-specific optimization.

<dt> <!WA184><a href="http://www.cs.utwente.nl/~keulen/">Maurice van Keulen</a> - 
University of Twente
<dd> Type systems, polymorphy, functional programming, database
specification, object-orientation, semantics of such languages.

<DT><!WA185><A HREF="http://www.parc.xerox.com/spl/members/gregor/">Gregor Kiczales</A>
- Xerox PARC
<DD> Object-oriented programming, reflection, metaobject protocols, open
compilers, efficient compilation of high-level programs.

<dt> <!WA186><a href="http://www.dcs.gla.ac.uk:80/~gnik/">David King</a> - Glasgow
<dd> Expressing graph algorithms in Haskell, algorithm design and
correctness, imperative functional programming.

<DT> <!WA187><a href="http://www.cs.purdue.edu/people/knapp">Edgar Knapp</a> - 
Purdue
<DD> Formal methods for concurrent program development, tool support for
program design, retargetable implementation of concurrent programs.

<dt> <!WA188><a href="http://www.research.microsoft.com/research/graphics/knoblock/">
Todd Knoblock</a> - Microsoft Research
<dd> 4D graphics and interactivity, program specializaton, run time
code generation, partial evaluation, high level programming languages,
program analysis and optimization, and type theory.

<dt> <!WA189><a href="http://www.cs.toronto.edu/~kulki">Dattatraya Kulkarni</a> - 
University of Toronto
<dd> Compiler optimizations, program transformations

<dt> <!WA190><a href="http://compiler.kaist.ac.kr/~kwang">Kwangkeun Yi</a> - 
Korea Advanced Institute of Science and Technology
<dd> Compile-time program analysis, programming environments,
program analysis tools, safe programming.

<DT> <!WA191><a href="http://suif.stanford.edu/~lam/index.html">
Monica Lam</a> - Stanford
<DD> Compiler optimizations, computer architectures, parallel computing,
<!WA192><a href="http://suif.stanford.edu/index.html"> SUIF</a>.

<dt> <!WA193><a href="http://www.research.digital.com/SRC/personal/Leslie_Lamport/home.html">Leslie Lamport</a> - DEC SRC
<dd> <!WA194><a href="http://www.research.digital.com/SRC/personal/Leslie_Lamport/tla/tla.html">TLA (the Temporal Logic of Actions)</a>,
<!WA195><a href="http://www.research.digital.com/SRC/personal/Leslie_Lamport/proofs/proofs.html">writing proofs</a>.

<dt> <!WA196><a href="http://www.cs.wisc.edu/~larus/larus.html">James Larus</a> - 
University of Wisconsin at Madison
<dd> Programming languages and compilers, in particular languages and
compilers for parallel machines; design and programming of
shared-memory parallel computers; compiling symbolic languages;
program profiling and tracing; and program executable editing.


<DT> <!WA197><a href="http://www.math.luc.edu/~laufer/home.html">
Konstantin L&auml;ufer</a> - Loyola University of Chicago 
<DD> Programming languages and compilers, functional and object-oriented
programming, type systems, type inference, software engineering.

<dt> <!WA198><a href="http://www.cse.ogi.edu/~jl/jl.html">
John Launchbury</a> - Oregon Graduate Institute 
<dd>Functional programming, functional algorithms, the semantics of lazy
evaluation, incorporating destructive updates in Haskell,
partial evaulation, program analysis.

<DD> Programming and specification language design and semantics,
formal methods (program specification and verification),
programming methodology, object-oriented programming,
functional programming, distributed computer systems.

<DT> <!WA199><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/petel/pub/www/home.html">
Peter Lee</A> - Carnegie Mellon
<DD>Semantics-based compiler generation, program analysis and
optimization, ML, compiler support for advanced systems software.


<dt> <!WA200><a href="http://www.research.digital.com/SRC/personal/Rustan_Leino/home.html">K. Rustan M. Leino</a> -
DEC SRC
Programming and program design technologies, programming
languages and systems, specification and verification,
program semantics, object-orientation and modularity.

<DT> <!WA201><a href="http://www.cs.indiana.edu/hyplan/mleone.html">
Mark Leone</A> - Indiana University
<DD>Run-time code generation, partial evaluation, compiling functional
programs, program analysis and optimization, type theory.

<DT> <!WA202><a href="http://pauillac.inria.fr/~xleroy">Xavier Leroy</a> -
INRIA Rocquencourt
<DD> Type systems, module systems, operational semantics,
implementation of ML, the <!WA203><a
href="http://pauillac.inria.fr:80/caml/">Caml Light</a> compiler.

<dt> <!WA204><a href="http://www.cs.kuleuven.ac.be/~michael/">
Michael Leuschel</a> - Katholieke Universiteit Leuven
<dd> Partial evaluation and partial deduction,
meta-programming and the ground representation,
specialised integrity checking.

<DT><!WA205><a href="http://http.cs.berkeley.edu/~raph">
Raph Levien</a> - UC Berkeley
<DD> Compilers for higher-order languages; analysis of memory access
patterns, closure representations, avoiding the need for garbage
collection.

<DT> <!WA206><A HREF="http://paneer.ndim.edrc.cmu.edu:8888/~snl/Home.html">Sean Levy</a>, <!WA207><A HREF="http://paneer.ndim.edrc.cmu.edu:8888/~ad1h/Home.html">Allen Dutoit</a>, <!WA208><A HREF="http://paneer.ndim.edrc.cmu.edu:8888/~avatar/Home.html">Eric Gardner</a>, <!WA209><A HREF="http://paneer.ndim.edrc.cmu.edu:8888/~sub/Home.html">Eswaran Subrahmanian</a> - Carnegie Mellon
<DD>n-dim Group, Engineering Design Research Center, CMU
<DD>Object-oriented languages/environments, embeddable languages/toolkits,
support for evolutionary prototyping, user interfaces, collaboration

<dt> <!WA210><a href="http://www.cs.yale.edu/users/liang-sheng">
Sheng Liang</a> - Yale
<dd> Design and implementation of modern programming  
languages, modular semantics, compiler generation, portable common  
back-ends.


<DT><!WA211><a href="http://www.cis.upenn.edu/~libkin/home.html">
Leonid Libkin</a> - University of Pennsylvania
<DD> Functional database query languages, semantics of programming
languages, partial information

<dt> <!WA212><a href="http://www.ccs.neu.edu/~lieber/">Karl Lieberherr</a> - 
Northeastern University
<dd> Adaptive Software, adaptive architecture description languages.

<dt> <!WA213><a href="http://www.cs.wesleyan.edu/~lipton">
Jim Lipton</a> - Wesleyan University
<dd> Logic programming, type theory, intuitionistic semantics, programming
with relations, categorical logic.

<DT> <!WA214><a href="http://www.it.kth.se/~lisper/">
Bj&ouml;rn Lisper</a> - KTH, Dept. of Teleinformatics
<DD> Theory for efficient implementation of declarative languages;
Data parallel and functional programming; program transformations.

<dt> <!WA215><a href="http://www.cs.indiana.edu/hyplan/liu.html">Y. Annie Liu</a>
- Indiana University
<dd> Program analyses and transformations for efficiency improvement,
optimizing compilers, language-based interactive systems, algorithm
design, program development methods.

<dt> <!WA216><a href="http://pauillac.inria.fr:80/~maranget/">Luc Maranget</a> -
INRIA Rocquencourt
<dd> Lazy ML: compilation of pattern matching and parallel implementation;
strategies in term rewriting systems. 

<dt> <!WA217><a href="http://plg.uwaterloo.ca:80/~dmason/">Dave Mason</a> - Waterloo
<dd> Compilation of functional programming languages, particularly of
Standard ML for systems programming purposes, literate programming and
other aspects of text formatting.

<DT> <!WA218><a href="http://idom-www.informatik.uni-hamburg.de/Personal/matthes.html">
Florian Matthes</a> - Hamburg University, Germany
<DD> Persistent programming environments: extensible syntax, higher-order 
type checking, static and dynamic code optimization, object store interfaces

<dt> <!WA219><a href="http://idom-www.informatik.uni-hamburg.de/Personal/mathiske.html">Bernd Mathiske</a> - Hamburg University
<dd> Language implementation, portable multi-threaded
runtime systems, code generation; distributed persistent languages, code
mobility, thread mobility, autonomous network agents; bidirectional
language interfacing, cross-language exception handling.

<DT> <!WA220><a href="http://www.ai.mit.edu/people/dam/dam.html">
David McAllester</a> - MIT AI Laboratory
<DD> Automated reasoning and type inference

<dt> <!WA221><a href="http://www.cs.ruu.nl/~erik">Erik Meijer</a> - Utrecht University
<dd> Functional programming, semantics directed compiler generation,
constructive algorithmics.

<dt> <!WA222><a href="http://marcel.uni-mb.si/~marjan">Marjan Mernik</a> - 
University of Maribor, Slovenia
<dd> Design and implementation of programming languages, formal language
definition, compiler generators, attribute grammars

<DT> <!WA223><a href="http://www.cis.upenn.edu/~dale">
Dale Miller</a> - University of Pennsylvania
<DD> Computational logic, proof theory, design and theory of logic and
functional programming languages, unification of typed lambda-calculi,
<!WA224><a href="http://www.cis.upenn.edu/~dale/lProlog/index.html">
lambda Prolog</a>.

<DT> <!WA225><a href="http://www.dcs.ed.ac.uk/infopages/rm.html">Robin Milner</a> - Cambridge
<dd> Mathematical models of computation - models and calculi for
concurrent computation; how to present logics to machines; semantics
of high-level programming constructs.

<DT> <!WA226><a href="http://theory.stanford.edu/people/jcm/home.html">
John Mitchell</a> - Stanford
<DD>Programming language analysis and design, including module
systems, object-oriented programming, type systems, and reasoning
about programs; applications of mathematical logic to programming
languages and automated reasoning; algorithms for static analysis of
programs.

<DT> <!WA227><a href="http://www.cs.cornell.edu/Info/People/jgm/home.html">Greg Morrisett</a> - Cornell
<DD> Systems hacking in high-level languages, compilers,
analysis via types, modeling garbage collection, concurrency, threads.

<DT> <!WA228><a href="ftp://ftp.diku.dk/diku/semantics/www/people/mossin.html">
Christian Mossin</a> - DIKU, University of Copenhagen
<DD> Type inference for analysis of functional programs.  Program
analysis, type systems, logic, lambda calculus and (to some extent)
category theory.

<dt> <!WA229><a href="http://www.informatik.hu-berlin.de/~mueller/">Frank Mueller</a> - Humboldt-University Berlin
<dd> Compiler optimizations, concurrent programming, prediction of execution time

<dt> <!WA230><a href="http://www.cs.bc.edu/~muller">Robert Muller</a> - 
Boston College
<dd> Compilers for higher-order languages, program representation, program 
analysis and optimization, extensible parsers.

<dt> <!WA231><a href="http://www7.informatik.uni-erlangen.de/~nestmann/index.html">Uwe Nestmann</a> - University of Erlangen
<dd> Formal Semantics, concurrency theory, translation correctness,
pi-calculus.

<DT> <!WA232><a href="ftp://ftp.diku.dk/diku/semantics/www/people/bombadil.html">
Kristian Nielsen</a> - DIKU, University of Copenhagen
<DD> Deforestation, partial evaluation, supercompilation, program
analysis, implementation of functional programming languages, lazy evaluation.

<dt> <!WA233><a href="http://iamwww.unibe.ch/~oscar">Oscar Nierstrasz</a> - 
University of Berne
<dd> Semantics of object-based concurrency; software composition languages.

<dt> <!WA234><a href="http://www.research.digital.com/CRL/personal/nikhil/home.html">Rishiyur Nikhil</a> - DEC CRL
<dd> Parallel computing -- languages and implementations, runtime systems,
architectures.  Functional languages and implementations, especially
parallel implementations.

<dt> <!WA235><a href="http://hpbroy3.informatik.tu-muenchen.de/MITARBEITER/nipkow/nipkow.html">Tobias Nipkow</a> - Technische Universit&auml;t M&uuml;nchen
<dd> Automatic and interactive theorem proving, system verification,
rewriting, unification, lambda-calculus, type systems.

<DT> <!WA236><a href="http://www.ics.uci.edu/dir/grad/CSD/snovack">
Steve Novack</a> - University of California, Irvine
<DD> Compiling for fine-grain parallelism.

<DT> <!WA237><A HREF="http://www.cs.unc.edu/~nyland/">Lars Nyland</A> - University of North Carolina at Chapel Hill
<DD> High-level languages for prototyping parallel algorithms.
Development of complex parallel algorithms.  Transformation of
high-level code to parallel implementations.

<dt> <!WA238><a href="http://www.dcs.gla.ac.uk:80/~jtod/">John O'Donnell</a> - Glasgow
<dd> Using functional programming to specify and reason about parallel
systems such as digital circuits and data parallel architectures;
nondeterminism; debugging; functional programming environments.

<dt> <!WA239><a href="http://www.cis.syr.edu/people/ohearn">Peter O'Hearn</a> - 
Syracuse University
<dd> Semantic and logical foundations of imperative computation.

<dt> <!WA240><a href="http://sadhbh.scrg.cs.tcd.ie:80/~bos/">
Bryan O'Sullivan</a> - Glasgow
<dd> Parallel computing, operating systems, compilers, partial
evaluation, functional programming languages, and all sorts of odd
permutations of these topics.

<dt> <!WA241><a href="http://www-psrg.lcs.mit.edu/~james/whoami.html">
James O'Toole</a> - MIT
<dd> Storage systems design for information retrieval and persistent
object applications.

<DT><!WA242><a href="http://www.kurims.kyoto-u.ac.jp/~ohori/index.html">
Atsushi Ohori</a> - Kyoto University
<DD> Type inference, polymorphic record calculus, compilation, parallelism.

<dt> <!WA243><a href="http://wwwipd.ira.uka.de/~odersky/">Martin Odersky</a> - 
University of Karlsruhe
<dd> Formal methods for the definition of programming languages and the
design and manipulation of programs. Special areas of interests are
program calculi, type systems, semantics of programming languages, and
programming language implementation.

<dt> <!WA244><a href="http://www.cs.latrobe.edu.au/~johno">John Ophel</a> - La Trobe University, Melbourne Australia
<dd> Polymorphic programming languages, first-class modules.

<dt> <!WA245><a href="http://www-comp.mpce.mq.edu.au/~mehmet/">Mehmet A. Orgun</a> - 
Macquarie University, Sydney
<dd> Logic programming, applied temporal logic, dataflow
computation, temporal databases.

<DT> <!WA246><a href="http://theory.lcs.mit.edu/~palsberg">
Jens Palsberg</a> - MIT
<DD> Theory and implementation of programming languages.

<DT> <!WA247><a href="http://www-rocq.inria.fr/~parigot">Didier Parigot</a> -
INRIA Rocquencourt
<DD> Attribute grammars, the <!WA248><a href="http://www-rocq.inria.fr/charme/FNC-2/"> FNC-2 </a> system.

<dt> <!WA249><a href="http://ulke.grm.hia.no/~alp/">Algirdas Pakstas</a> - 
Agder College
<dd> Distributed programming, system architect's language ALADDIN,
integrated compiler development environment GDT/PC ("Grammar Debugging
Tool and Parser Constuctor").

<dt> <!WA250><a href="http://cs.nyu.edu/cs/faculty/palem/index.html">Krishna Palem</a> - New York University
<dd> Optimizing compilers, instruction-level parallelism, instruction
scheduling and register allocation, compiling for embedded systems.

<dt> <!WA251><a href="http://www.ucy.ac.cy/ucy/cs/papadopo.html">George A. Papadopoulos</a> - University of Cyprus
<dd> Term graph rewriting systems, coordination models,
logic, functional and object-oriented programming.

<dt> <!WA252><a href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a> -
Cambridge
<dd> The 
<!WA253><A HREF="http://www.cl.cam.ac.uk/Research/HVG/isabelle.html">Isabelle</a>
theorem prover. Formalizing axiomatic set theory.  Formalizing induction and
coinduction principles in set theory and higher-order logic.  Standard ML.

<DT> <!WA254><a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/homepage.html">
Frank Pfenning</a> - Carnegie Mellon
<DD> Type theory and its application to language design, in particular
logic- and functional-programming languages.  Logic,
automated theorem proving, formal program development, and programming
environments.

<dt> <!WA255><a href="http://www.icsi.berkeley.edu/~phlipp">Michael Philippsen</a> - 
ICSI, Berkeley
<dd> Languages and compilers for parallel and distributed machines.

<DT> <!WA256><a href="http://www.cs.indiana.edu/hyplan/pierce.html">
Benjamin C. Pierce</a> - Indiana University
<DD> Static type systems, subtyping, bounded quantification, type
inference, lambda-calculus, intersection types, concurrency.

<DT> <!WA257><A HREF="http://www-csag.cs.uiuc.edu/individual/jplevyak">John Plevyak</A> 
- University of Illinois, Urbana-Champaign 
<DD> Concurrent object-oriented programming language design and
compilation.  Type Inference.  Structure Analysis.  Concurrent C++.
The Illinois <!WA258><A HREF="http://www-csag.cs.uiuc.edu/projects/concert">Concert</A>
project.

<DT> <!WA259><a href="http://www.dcs.ed.ac.uk/infopages/gdp.html">Gordon Plotkin</a> - Edinburgh
<dd> Applications of logic, especially denotational and operational
semantics of programming languages; semantics of type systems, monadic
theories of computation, general proof theory and the semantics of
natural language, particularly type-free intensional logics for
situation theory.

<dt> <!WA260><a href="http://www.eecis.udel.edu/~pollock/homepage.html">Lori L. Pollock</a> - University of Delaware
<dd> Optimizing compilers for high performance architectures, compiler
phase integration, language and compiler support for cluster
computing, optimizing explicitly parallel programs, parallel
compilers.

<dt> <!WA261><a href="http://www.ccs.neu.edu/~salil/">Salil Pradhan</a> - Northeastern University
<dd> Adaptive architecture description languages.

<dt> <!WA262><a href="http://theory.stanford.edu/people/pratt/home.html">
Vaughan Pratt</a> - Stanford
<dd> Semantics of parallel and distributed computing.

<dt> <!WA263><a href="http://www.cs.unc.edu/~prins/">Jan F. Prins</a> - 
University of North Carolina at Chapel Hill
<dd> High-level programming languages; formal techniques in program
development; parallel algorithms and parallel computation; compilation
of programs for parallel execution.

<DT> <!WA264><a href="http://www.cs.umd.edu/faculty/pugh.html">
William Pugh</a> - University of Maryland
<DD>Algorithms and data structure design and analysis, skip lists,
compilers for massively parallel architectures, integer programming
for array data dependence analysis.

<dt> <!WA265><a href="http://www.ee.lsu.edu/jxr/jxr.html">J. Ramanujam</a>  - 
Louisiana State University
<dd> Parallelizing compilers, high-performance computing, programming
languages, computer architecture, programming environments.

<dt> <!WA266><a href="http://www.cs.virginia.edu/~nr">Norman Ramsey</a> - University
of Virginia
<dd> Machine-code tools, retargetability, literate programming, and debugging. 

<dt> <!WA267><a href="http://http2.brunel.ac.uk:8080/~csstcmr/">
Chris Reade</a> - Brunel University
<dd> Functional programming, functional I/O, theory of programming
languages, type theory, and formal methods.

<DT> <!WA268><a href="http://www-swiss.ai.mit.edu/~jar/jar.html">
Jonathan Rees</a> - MIT
<DD> Scheme, user-defined data types, lexically scoped macros,
modules, categories, monads, Scheme-based operating systems.

<dt> <!WA269><a href="http://www.diku.dk/research-groups/topps/personal/rehof.html">
Jakob Rehof</a> - DIKU, University of Copenhagen
<dd> Type systems; type inference;
logical and computational aspects of type systems;
type systems in program analysis.

<dt> <!WA270><a href="http://www.dcs.gla.ac.uk:80/~areid/">Alastair Reid</a> - 
Glasgow
<dd> Use and implementation of functional languages (graphics, garbage
collection, user interfaces, debugging). Formal program development
(transformation and implementation of algebraic specifications of
abstract data types).

<dt> <!WA271><a href="http://www.cs.duke.edu/~reif/HomePage.html">John Reif</a> - 
Duke
<dd> Parallel algorithms, compilers for parallel machines, 
formal methods for synthesis of parallel algorithms.

<dt> <!WA272><a href="http://www.neci.nj.nec.com/homepages/reinhold.html">
Mark Reinhold</a> - NEC Research Institute
<dd> Garbage collection, compilation techniques, type systems,
semantics, and the visualization and analysis of program performance.

<dt> <!WA273><a href="http://pauillac.inria.fr:80/~remy/">Didier Remy</a> - 
INRIA Rocquencourt
<dd> Type systems; object oriented programming.

<dt> <!WA274><a href="http://www.cs.wisc.edu/~reps/reps.html">
Thomas Reps</a> - University of Wisconsin at Madison
<dd> Language-based programming environments; program slicing,
differencing, and merging; interprocedural dataflow analysis; and
incremental algorithms.

<dt> <!WA275><a href="http://www.research.att.com/orgs/ssr/people/riecke">
Jon G. Riecke</a> - Bell Laboratories
<dd> Theory of programming languages: operational and denotational
semantics, logics of programs, formal methods, type systems and
inference, abstraction.  Higher-order languages with state,
control, polymorphism.

<dt> <!WA276><a href="http://www.diku.dk/~kris/">Kristoffer Rose</a> - 
DIKU, University of Copenhagen 
<dd> Semantics, lambda calculus, rewrite systems, explicit
substitution, abstract machines, sharing, graph reduction.

<DT> <!WA277><a href="http://www.cwi.nl/cwi/people/Guido.van.Rossum.html">
Guido van Rossum</a> - CWI (Centre for Mathemathics and Computer Science), Amsterdam
<DD> Object-oriented languages, scripting languages, prototyping
languages; designed and implemented Python, co-implemented ABC

<dt> <!WA278><a href="http://pauillac.inria.fr/~rouaix/">
Francois Rouaix</a> - INRIA Rocquencourt
<dd> Extensions of the ML type system, overloading, object-oriented
programming, abstract types, type operators, modularity.

<DT> <!WA279><a href="http://www.research.microsoft.com/research/analysts/ruf/">
Erik Ruf</a> - Microsoft Research
<DD>Design, implementation, and optimization of programming languages, and
the use of program analysis to support program understanding and
transformation.

<dt> <!WA280><a href="http://www.cs.rutgers.edu/~ryder/">Barbara Ryder</a> - Rutgers
<dd> Compile-time program analyses and software tools for
parallel/sequential programming environments.  Chair of ACM SIGPLAN.

<DT><!WA281><a href="http://www.cs.uoregon.edu/~sabry/home.html">
Amr Sabry</a> - University of Oregon
<DD> Compilers, data flow analysis, abstract interpretation,
programming language calculi, and semantic foundations. 

<DT><!WA282><a href="ftp://ftp.diku.dk/diku/semantics/www/people/dave.html">
David Sands</a> - DIKU, University of Copenhagen
<DD> Programming language semantics, and their applications to
abstract interpretation and related semantics based analysis
techniques.

<DT><!WA283><a href="http://www.dcs.ed.ac.uk/staff/dts/index.html">Don Sannella</a> - Edinburgh LFCS
<DD> Formal development of modular software from specifications.
Modularization mechanisms.  Machine-assisted proof.  Semantics.

<dt><!WA284><a href="http://www.dcs.gla.ac.uk:80/~sansom/">Patrick Sansom</a> - Glasgow
<dd> Implementation and runtime support of pure functional languages,
including compiler analysis and optimisation, garbage collection, and
profiling.

<dt> <!WA285><a href="http://shiva.di.uminho.pt/~jas">Joao A. Saraiva</a> - 
Universidade do Minho
<dd> Compilers, attribute grammars, parallel compilation.

<DT> <!WA286><a href="http://www.cis.upenn.edu/~andre/">
Andre Scedrov</a> - University of Pennsylvania
<DD> Mathematical logic, mathematical aspects of programming
structures.

<dt> <!WA287><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/wls/www/home.html">Bill Scherlis</a> - Carnegie Mellon
<dd> Semantics-based program analysis and manipulation, information structures.

<DT> <!WA288><a href="http://www.cis.ksu.edu/~schmidt/home.html">
David Schmidt</a> - Kansas State
<DD> Denotational semantics and intuitionistic type theory.

<dt> <!WA289><a href="http://www.daimi.aau.dk/~mis/">Michael I. Schwartzbach</a> - 
BRICS, University of Aarhus
<dd> Programming languages: type systems, type inference, 
static program analysis, data types, language design, implementation.

<DT> <!WA290><a href="http://www.mit.edu:8001/afs/athena/user/c/o/cottons/www/homepage.html">Cotton Seed</a> - MIT and the Motorola Cambridge Research Center
<DD> Computer architecture, compilers for MPPs, dataflow and implicitly
parallel languages, program analysis, auto-parallelization.


<dt> <!WA291><a href="http://www.dina.kvl.dk/~sestoft">
Peter Sestoft</a> - Royal Veterinary and Agricultural University, Denmark
<dd> Functional programming languages and their implementation, program
analysis and transformation, and partial evaluation.

<DT> <!WA292><a href="http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/shao-zhong/index.html">
Zhong Shao </a> - Yale
<DD>Efficient compilation of high-level languages, interaction of
languages and compilers with modern architectures, programming
environments, and formal methods.

<DT> <!WA293><a href="http://www.cse.ogi.edu/~sheard/sheard.html">
Tim Sheard</a> - Oregon Graduate Institute
<DD> Compile-time reflection, type parametric programming, 
program transformation, and algebraic programming. 

<dt> <!WA294><a href="http://clark.lcs.mit.edu/~shivers/home.html">
Olin Shivers</a> - MIT
<dd> Advanced programming languages 
(such as 
<!WA295><A HREF="http://www-swiss.ai.mit.edu/scheme-home.html">Scheme</A>
and ML), systems, and personal user interfaces.

<dt> <!WA296><a href="http://www.dis.strath.ac.uk/people/sinclair/">
Duncan Sinclair</a> - University of Strathclyde
<dd> Functional programming and in particular, how HCI research could
be used to make creation of graphical user interfaces for functional
programs easier.

<dt> <!WA297><a href="http://www.dcs.gla.ac.uk:80/~satnam/">Satnam Singh</a> - Glasgow
<dd> Using functional languages for hardware specification, synthesis
and analysis.

<dt> <!WA298><a href="http://www.cs.jcu.edu.au/~tony">Anthony Sloane</a> - 
James Cook University
<dd> Generation of programming language implementations, tools and environments
from high-level specifications.

<DT> <!WA299><a href="http://www.cs.jhu.edu/scott/home.html">Scott F. Smith</a> - 
Johns Hopkins
<DD> Operational semantics of imperative, object-oriented, and concurrent
programming languages.  Operational equivalence of programs, logics of
programs.

<DT> <!WA300><a href="http://www.ai.mit.edu/people/ellens/ellens.html">
Ellen Spertus</a> - MIT
<DD> Value dependence graph IR, code generation and register allocation for
superscalar/superpipelined architectures.

<dt> <!WA301><a href="http://www-acaps.cs.mcgill.ca/~sreedhar">
Vugranam C. Sreedhar</a> - McGill University
<dd> Data flow analysis, compiler optimization, instruction level
parallelism, multithreaded architecture, optimizing explicit parallel
programs, memory consistency models.

<DT> <!WA302><a href="http://www.research.microsoft.com/research/analysts/rusa/">
Bjarne Steensgaard</a> - Microsoft Research
<DD>Static program analysis, program transformation, value dependence
graph IR, data flow analyses, store splitting, partial evaluation.

<dt> <!WA303><a href="http://progwww.vub.ac.be/prog/persons/prsteyae/prsteyae.html">
Patrick Steyaert</a> - Brussels Free University
<dd> Reflection and object-oriented programming languages and
systems; User interfaces, user interface building, application building.

<DT> <!WA304><a href="http://www.cis.ksu.edu/~allen/home.html">
Allen Stoughton</a> - Kansas State
<DD> Programming language semantics, full abstraction, models of the applied
typed lambda calculus PCF, logical relations and lambda definability.

<dt> <!WA305><a href="http://www.icsi.berkeley.edu/~davids">
David Stoutamire</a> - International Computer Science Institute
<dd> Compiling for distribution, compiling for locality,
garbage collection, Sather.

<dt> <!WA306><a href="http://www.york.ac.uk/~dwjsc100">Dave WJ Stringer-Calvert</a> -
University of York, UK
<dd> Compiler verification and the 
<!WA307><A HREF="http://www.csl.sri.com/sri-csl-pvs.html">PVS</A> verification system.

<dt> <!WA308><a href="http://www.cse.ogi.edu/~walidt/walidt.html">Walid Taha</a> - 
Oregon Graduate Institute
<dd> Transformational programming systems, functional
programming, object-oriented programming, software engineering and compilers.

<dt> <!WA309><a href="http://www-formal.stanford.edu/pub/clt/home.html">
Carolyn Talcott</a> - Stanford
<dd> Formal reasoning, semantics of programming languages, open distributed
systems, reflection. 

<dt> <!WA310><a href="http://isi-cnr.deis.unical.it:1080/~talia">Domenico Talia</a> - 
ISI-CNR, Rende, Italy
<dd> Parallel computing architectures, concurrent programming languages,
distributed systems.

<DT> <!WA311><a href="http://www.dcs.ed.ac.uk/infopages/rdt.html">Bob Tennent</a> - Edinburgh
<dd> Semantics and design of programming languages and logics.

<dt> <!WA312><a href="http://www.lslabs.com/~gkt">George K. Thiruvathukal</a> - 
Lake Shore Labs; 
Metromail Corp; Illinois Institute of Technology 
<dd>  Object oriented languages, enhanced actors programming model, virtual 
machines, parallel and distributed programming languages, class 
libraries and typing systems.

<dt> <!WA313><a href="http://www.cs.nott.ac.uk/Department/Staff/spt/index.html">
Stephen Thomas</a> - University of Nottingham
<dd> Use and implementation of functional languages;  the design of
abstract architectures for functional languages, particularly the TIM.

<dt> <!WA314><a href="http://www.research.ibm.com/people/t/tip">
Frank Tip</a> - IBM T.J. Watson
<dd> Program analysis, program transformation/restructuring, program slicing,
optimizations of object-oriented programs. 

<dt> <!WA315><a href="http://www.mt.cs.keio.ac.jp/person/mario.html">
Mario Tokoro</a> - Keio University
<dd> Object-oriented computing, concurrent programming,
distributed and open systems, and cooperative problem solving.

<dt> <!WA316><a href="http://www.cs.pdx.edu/~apt/">Andrew Tolmach</a> - Portland State University
<dd>Functional language implementation and tools.

<DT> <!WA317><a href="http://www.cis.ksu.edu/~david/home.html">
David Toman</a> - Kansas State
<DD> Implementation of PROLOG and LP languages, semantics of LP languages,
semantics and expressivity of database query languages.

<dt> <!WA318><a href="http://www.dcs.gla.ac.uk/~dnt">David N. Turner</a> - 
Glasgow
<dd> Type systems, type-based program analysis, functional programming,
pi-calculus, implementation of concurrent calculi.

<DT> <!WA319><a href="http://suif.stanford.edu/~tseng/index.html">
Chau-Wen Tseng</a> - Stanford
<DD> Compiler support for scalable parallel architectures,
<!WA320><a href="http://suif.stanford.edu/index.html"> SUIF</a>.

<DT> <!WA321><a href="http://www-swiss.ai.mit.edu/~lyn/lyn.html">
Franklyn Turbak</a> - Wellesley College
<DD>  Programming language semantics and implementation,
deforestation, type-based compilation, visual languages, robot languages.

<DT> <!WA322><a href="http://larch-www.lcs.mit.edu:8001/~mtv">Mark Vandevoorde</a> - MIT
<DD> Optimizing programs with specifications

<dt> <!WA323><a href="http://adam.fwi.uva.nl/~visser/">Eelco Visser</a> - 
University of Amsterdam
<dd> Formalisms and tools for language design and prototyping: 
syntax definition, type systems, documentation tools;
grammar formalisms, parsing, algebraic specification, ASF+SDF.

<dt> <!WA324><a href="http://www.dsic.upv.es/users/elp/gvidal.html">German Vidal</a> - 
Technical University of Valencia, Spain
<dd> Integration of functional and logic programming languages, 
   abstract interpretation, 
   sematics-based program transformation.

<dt> <!WA325><a href="http://www.dcs.gla.ac.uk/~wadler/">
Philip Wadler</a> - Glasgow
<dd> Linear logic, monads, call by need, type classes, parametricity,
deforestation, strictness analysis, data abstraction, and garbage
collection.

<dt> <!WA326><a href="http://www.cs.colorado.edu/~waite/">William M. Waite</a> - 
University of Colorado at Boulder
<dd> Automation of compiler construction

<DT> <!WA327><a href="http://www.ccs.neu.edu/home/wand/">
Mitchell Wand</a> - Northeastern
<DD> Semantics, compiler correctness, type inference.

<dt> <!WA328><a href="http://www.dcs.gla.ac.uk/~daw/">David Watt</a> - 
University of Glasgow
<dd> Action semantics, language design, semantics-directed compiler
generation, rapid prototyping.

<DT> <!WA329><a href="http://www.cs.chalmers.se/~martinw">
Martin Weichert</a> - Chalmers
<DD> Concurrency

<dt> <!WA330><a href="http://jukebox.lcs.mit.edu/~weihl/">
William E. Weihl</a> - MIT
<dd> Parallel and distributed systems, programming languages,
compilers, operating systems, and computer architecture.

<dt> <!WA331><a href="http://pauillac.inria.fr/~weis">Pierre Weis</a> - INRIA
<dd> Design and implementation of functional
programming languages, in particular their compilation and type
systems, and in particular the Caml language.

<DT> <!WA332><a href="http://www.research.microsoft.com/research/analysts/daniel/">
Daniel Weise</a> - Microsoft Research
<DD> Using advanced representations and analysis to build better compilers
and programming tools.  Still seeking the holy grail of abstraction
without cost even though I don't explicitly hack partial evaluation
anymore.

<DT> <!WA333><a href="ftp://ftp.diku.dk/diku/semantics/www/people/terra.html">
Morten Welinder</a> - DIKU, University of Copenhagen
<DD> Partial evaluation of Standard ML, binding-time analysis,
hand-writing program generator generators.

<dt> <!WA334><a href="http://www.cs.fsu.edu/~whalley">David B. Whalley</a> - 
Florida State University
<dd> Compiler optimizations, support tools for performance evaluation and
diagnosing compiler errors, predicting execution time.

<dt> <!WA335><a href="http://www.cs.utexas.edu/users/wilson">
Paul R. Wilson</a> - University of Texas at Austin
<dd> Memory management (garbage collection, allocators), persistence (Texas
p-store), extensible languages and compilers (RScheme), memory hierarchies,
free software.

<dt> <!WA336><a href="http://www.cs.ucl.ac.uk/people/russel.html">
Russel Winder</a> - University College London
<dd> Languages and environments for developing parallel object-oriented
systems; development of information systems, including processes,
techniques, tools, environments, and philosophical aspects.

<DT> <!WA337><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/wing/www/home.html">
Jeannette Wing</a> - Carnegie Mellon
<DD> Formal specifications, concurrent and distributed systems,
programming languages, programming methodology, and search and
retrieval in the information superhighway.

<dt> <!WA338><a href="http://www.cs.mu.oz.au/~winikoff">Michael Winikoff</a> - 
Melbourne University
<dd> Logic programming, linear logic, 
<!WA339><a href="http://www.cs.mu.oz.au/~winikoff/lygon/lygon.html">Lygon</a>,
functional programming.

<DT> <!WA340><a href="http://www.cse.ogi.edu/~mwolfe">Michael Wolfe</a> -
The Portland Group
<DD> Compiler optimizations, compiling for parallel machines

<dt> <!WA341><a href="http://cs.anu.edu.au/~David.Wolfram">David Wolfram</a> - 
The Australian National University
<dd> Semantics of declarative languages; higher-order languages and
meta-theories; semantics of concurrency in object-based languages; 
effectiveness of implementations.

<DT> <!WA342><a href="http://www.neci.nj.nec.com/homepages/wright.html">
Andrew Wright</a> - NEC Research Institute
<DD> Soft typing, type systems, compilation techniques, Scheme, ML.

<DT> <!WA343><a href="http://www.cis.upenn.edu/~limsoon">Limsoon Wong</a>
 - University of Pennsylvania. Institute of Systems Science, Singapore.
<DD> Interoperable systems, multimedia systems, programming
methodologies, query languages, and programming language semantics.

<dt> <!WA344><a href="http://tobe.buaa.edu.cn">
Gao Xiaocheng</a> - Beijing University of Aero and Astro (BUAA)
<dd> Constraint hierarchy, object oriented languages, Linux.

<dt> <!WA345><a href="http://www.tobata.isc.kyutech.ac.jp/staff/yamanoue/">
Takashi Yamanoue</a> - Kyushu Institute of Technology
<dd> Visual programming, parallel programming, compiler-compilers,
attributed grammars.

<dt> <!WA346><a href="http://www.cs.berkeley.edu/~yelick">Katherine Yelick</a> - 
U.C. Berkeley
<dd> Programming languages and runtime support for parallel machines;
optimizing explicitly parallel programs.

<dt> <!WA347><a href="http://web.yl.is.s.u-tokyo.ac.jp/members/yonezawa/home.html">
Akinori Yonezawa</a> - University of Tokyo
<dd> Parallel computation models, programming
languages, object-oriented programming, and natural language processing.

<dt> <!WA348><a href="http://www.cs.uga.edu/~gqz">Guo-Qiang Zhang</a> - 
University of Georgia at Athens
<dd> Domain theory, semantics of programming languages, 
applied logic, nonmonotonic reasoning.

<dt> <!WA349><a href="http://www.cs.colorado.edu/homes/zorn/public_html/Home.html">
Benjamin Zorn</a> - University of Colorado at Boulder
<dd> Programming language design and implementation with specific
emphasis on language runtime systems and the ways in which they can
support efficient program execution and ease of programming.
</DL>

<!WA350><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html"><!WA351><img alt="" src="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/images/back.xbm"> Back to 
the language research page</a>

<p><hr>Additions and corrections are welcome!
Mark Leone (<em><!WA352><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/whois-mleone.html">
mleone@cs.cmu.edu</a></em>)
